<?php
  /* simple PHP Include to close the database connection */
	$db->close();
?>
